Abstraction as a Unifying Link for Formal Approaches to Concurrency
نویسنده
چکیده
ion as a unifying link for formal approaches to concurrency
منابع مشابه
Modeling and testing object-oriented distributed systems with linear-time temporal logic
We present a framework for constructing formal models of object-oriented distributed systems and a property language to express behavioral constraints in such models. Most of the existing models have their origin in specific mathematical notations and/or concepts. In contrast, we have developed our model such that it accounts for a large set of phenomena associated with industrial implementatio...
متن کاملUnifying Theories of Programming: CSP + Lazy Observation = True Concurrency
In Unifying Theories of Programming [1] (UToP), Hoare and He identify the challenge of unification as a goal for computer science, much as the quest for unified theories exist in other scientific disciplines (e.g., physics). UToP presents work begun to unify theories of programming that exist across different programming paradigms, at different levels of abstraction, and described by a variety ...
متن کاملTowards a Unifying CSP approach to Hierarchical Verification of Asynchronous Hardware
Formal verification is increasingly important in asynchronous circuit design, since the lack of a global synchronizing clock makes errors due to concurrency (e.g., deadlocks) virtually impossible to detect by means of conventional methods such as simulation. This paper presents a hierarchical approach to asynchronous systems verification using CSP and its model checker FDR. The approach reflect...
متن کاملLyra : a High Level Modeling and Synthesis Methodology for Concurrent Systems Using Rendezvous
Since their introduction, modern computer systems have been increasing in complexity. System designers have been dealing with ever larger designs by moving to higher abstraction level system descriptions. The existing register transfer level of abstraction has become unable to handle modern designs, requiring a move to high level modeling. The most popular of the current approaches for high lev...
متن کاملUnifying the Semantics of UML 2 State, Activity and Interaction Diagrams
We define a formal semantics of the combined use of UML 2 state machines, activities and interactions using Abstract State Machines. The behaviour of software models can henceforth be specified by composing these diagrams, choosing the most adequate formalism at each level of abstraction. We present several reasonable ways to link different kinds of diagrams and illustrate them by examples. We ...
متن کامل